21. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic, Symbolic and mathematical , Computable functions
رده :
QA
9
.
59
.
K44
1996
22. Symbolic computation and education
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : assisted instruction ; Congresses. ; Computable functions ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; -Mathematics ; Computer
23. The incomputable : journeys beyond the Turing barrier
پدیدآورنده : S. Barry Cooper, Mariya I. Soskova, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Unsolvability )Mathematical logic(,، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
63
.
I52
